$\vdash$  $\forall$$A$:Type. I $\in$ $A$$\rightarrow$$A$